361. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
پدیدآورنده : Logic Congress )0991: Tehran, Iran(
موضوع : ، Logic, Symbolic and mathematical-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
362. Proceedings of the Logic Colloquium :
پدیدآورنده : G H Müller
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logique algébrique -- Congrès.,Modèles, Théorie des -- Congrès.
363. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
364. Proceedings of the Second Scandinavian Logic Symposium.
پدیدآورنده : Ed. by J.E. Fenstad.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.
رده :
QA9
.
S32
1970
365. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده : Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970
366. Proceedings of the eleventh algebra seminar
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Alegbra, Congresses.,Logic, Symbolic and mathematical, Congresses.
رده :
{
1648
},
009d2b3152c988d45a132bbfe6b66853
367. Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
A1
L63
1990
368. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
369. Proceedings of the second Scndinavian logic symposium
پدیدآورنده : / ed. by J. E. Fenstad
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical - Congresses
رده :
511
.
3
S283
370. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
371. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
372. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
373. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
374. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
375. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
376. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
377. Sorts and types in artificial intelligence
پدیدآورنده : K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
378. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده : K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
379. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
380. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
